Examples of Minimal $$\varvec{G}$$ G -structures
نویسندگان
چکیده
منابع مشابه
MINIMAL STRUCTURES FOR MODAL TABLEAUX: Some Examples
In this paper we present some examples of decision procedures based on tableau calculus for some monoand multimodal logics having a semantics involving properties that are not easily representable in tree-like structures (like e.g. density, confluence and persistence). We show how to handle them in our framework by generalizing usual tableaux (which are trees) to richer structures: rooted direc...
متن کاملMinimal Cell Structures for G-CW Complexes
In this paper, we consider the minimal cell structure problem forGCW complexes. A CW complex is a nice approximation of general topological spaces, which is constructed by repeating attaching higher dimensional cells to lower ones. A G-CW complex is its generalized version to spaces with a group action. The structure theorem for ordinary CW complexes is well-studied, and we can know the minimal...
متن کاملExamples of Category Structures
(1) For all sets X1, X2 and for all sets a1, a2 holds [:X1 7−→ a1, X2 7−→ a2 :] = [:X1, X2 :] 7−→ 〈a1, a2〉. Let I be a set. One can check that 0I is function yielding. Next we state two propositions: (2) For all functions f , g holds x(g · f ) = g ·x f . (3) For all functions f , g, h holds x( f · [:g, h :]) = x f · [:h, g :]. Let f be a function yielding function. Observe that x f is function ...
متن کاملExamples of Protein Structures
Fibrous proteins Fibrous proteins tend to be long, narrow molecules. Fibrous proteins are used to construct macroscopic structures, especially structures outside of cells. Fibrous proteins tend to have a structural role, although some have more active functions as well. Examples: The protein α-keratin is used to form hair, nails, and skin. α-Keratin is a coiledcoil of α-helices ~300 residues lo...
متن کاملExamples of Category Structures
In this paper A denotes a non empty set, S denotes a non void non empty many sorted signature, and x denotes a set. Let us consider A. The functor MSSCat(A) yields a strict non empty category structure and is defined by the conditions (Def. 1). (Def. 1) (i) The carrier of MSSCat(A) = MSS-set(A), (ii) for all elements i, j of MSS-set(A) holds (the arrows of MSSCat(A))(i, j) = MSS-morph(i, j), an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Results in Mathematics
سال: 2018
ISSN: 1422-6383,1420-9012
DOI: 10.1007/s00025-018-0824-7